کره، DPRK (کره شمالی)