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