Ridge of the Diamond Mountains, Kumgangsan Tourist Region, Democratic Peoples's Republic of Korea (DPRK), North Korea