John Sheldon Doud Eisenhower (1922-2013)