North Korea has all sort of nasty names ready to throw at America, South Korea, or others, though at least I think they're just name-calling, not considering them as "official" names. (So, in a twisted sense, even North Korea is more adult-like than Trump. I guess that's another cause of celebration for some HN commenters who look up to Trump for being the manly leader who boldly does the right thing that nobody else dares to do.)

Thankfully, North Korea's antics doesn't matter, because nobody is trying to sell map service to North Koreans anyway.