MEANWHILE IN NORTH KOREA