North Korea DPRK, Democratic People's Republic of Korea