What’s the official name of North Korea?

It may sound counter intuitive, but the official name of North Korea is the DPRK, which stands for Democratic People’s Republic of Korea. South Korea is called the PRK. In North Korea, people refer to their own country as Korea.