Dear all, it just occurred to me that Halla-san, the mountain in Cheju, is written Han-ra in South Korea, but Han-na in North Korea (pronounced, though, as Halla). Does anybody have a clue? Best, Ruediger