PEOPLE'S REPUBLICS: It's the Korea that's the Democratic People's Republic