In late 1952 Eisenhower went to Korea and discovered a military and political stalemate. What was SAC an abbreviation of