Kode-Kode Area Korea, Republik Rakyat Demokratik: