In Memoriam: Admiral Jeremiah A. Denton, 1924 – 2014