"Democratic People's Republic of Korea"@en-us . .