Thank you, "anonymous" reader...

...for pointing me in the direction of some vintage maps of Korea...