Thank you for the corrections, I've edited the parent post. The lake on top of the Baekdu (Paektu?) Mountain appears to be called Heaven Lake: https://en.wikipe

Thank you for the corrections, I've edited the parent post. The lake on top of the Baekdu (Paektu?) Mountain appears to be called Heaven Lake: https://en.wikipedia.org/wiki/Heaven_Lake https://en.wikipedia.org/wiki/Heaven_Lake (Not sure why your comment was downvoted but I vouched for it, so it's back now, hopefully for good.)