Ah! I read your comment a few times before I even saw the transposition. Yes, I just meant the official name of the country as opposed to the slang some Americans use.
"Corée du Nord" and "Corea del Norte" each have millions of search results (in each case, about 10x as many as the formal name). The BBC says "North Korea".
