Abbreviations for North Korea

So far, I’ve seen NK, Nork, and NoKo. Are there others? According to Wikipedia, Nork is slang for North Koreans, not the country’s name. (My apologies if Nork is derogatory — Wikipedia doesn’t say.)