You know she had to do it to ’em.
North Korea detests that name, both in fiction and reality. The country (and its people) will always use the official name, DPRK. You may also hear DPR Korea. Calling the country “North Korea” is disrespectful and imperialist. That’s why everyone calls him–to his face, at least–Korea. If you don’t, he will scream at you.