Given that it sees itself as the only true Korea, the official name is Democratic People’s Republic of Korea. And that is the name you had better use while in the country.