4 ms·

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