1951 saw which US president in office, carrying out decisions during the critical years of the Korean War?