NORTH KOREA see Korea, Democratic People's Republic of