Eisenhower, former Allied Commander of the Armed Forces during World War II