In 1952, the United States elected a new president, and on 29 November 1952, the president-elect, Dwight D. Who approved the Korean War armistice that officially declared a ceasefire?