John Hennessy Gets Charles Stark Draper Prize for Engineering