Coreea, RPDC (Coreea de Nord)