In July 1953, an armistice took effect with Korea divided along approximately the same boundary as in 1950. Who described the armistice as Eisenhower's greatest presidential accomplishment?