Карэя, КНДР (Паўночная Карэя)