People's Republic of Korea
Democratic People's Republic of Korea.