In July 1953, an armistice took effect with Korea divided along approximately the same boundary as in 1950. In what month in 1953 did the armistice come into being