Would it be possible to ask to someone from North Korea to go there and see what’s the real name of that place? Probably they wouldn’t be able to contact anyone outside of the country with their closed internet.