People's Republic of Korea
Democratic People's Republic of Korea (North Korea).