Las atracciones turísticas en Pyŏlch'ŏn-ni, Corea, República Popular Democrática