Korea (North), Democratic Peoples Republic of