[michaelsshaw]

FWIW, I was taught that it's unfortunate we didn't get all of Korea.

[DougN7]

Pure guess on my part, but I suspect today’s North Korean population might wish we’d gotten the north too.