Template:Country data Korean Democratic People’s Republic