Template:Country data Democratic People’s Republic of Korea