DPRK nominal