In July 1953, an armistice took effect with Korea divided along approximately the same boundary as in 1950. Who was the President of South Korea at the time of the armistice