Who was elected as the President of the United States in 1952 and played a major role in ending the Korean War?