In 1952, the United States elected a new president, and on 29 November 1952, the president-elect, Dwight D. Who did the US elect as president during the Korean War?