Haebang-nodongjagu de turistik yerler, Kore Demokratik Halk Cumhuriyeti