د لمانځه وختونه Hamgyŏng-bukto, North Korea