Definition of "Tianchi"

Local people later called the lake "Dragon Lake". After the communist revolution, the guaishou was seen in 1962 by Zhou Fengying, a worker at the Jilin Meteorological Bureau, while making a check at the weather station next to Tianchi (Heavenly Pool) Lake, as it is now called, on top of Changbai mountain.

1994 May 18, John Kohut, “Monster tourism boom sighted”, in South China Morning Post‎, archived from the original on 25 August 2023‎

Tianchi Lake on Changbai Mountain, Jilin Province, is the deepest lake in China. It was formed by a volcano break in 1702 and is located on the top of Baitou Peak, the highest peak of Changbai Mountain.

2008 March 7, Jackie Zhang, “The legend of the lakes”, in Beijing Today‎, number 353, Travel China, page 20, column 1

At 7,185 feet above sea level, the 3.8-square-mile caldera lake, called Cheonji in Korean and Tianchi in Chinese, was created a thousand years ago in one of the biggest volcanic eruptions in history.

2016 September 26, Sang-hun Choe, “For South Koreans, a Long Detour to Their Holy Mountain”, in The New York Times‎, archived from the original on 26 September 2016, Asia Pacific‎

The sublime volcanic lake of Tianchi straddles the border with North Korea.

2017, “History & Culture”, in National Geographic Traveler: China‎, 4th edition, page 19

Heaven Lake, known as "Cheonji" in Korea or "Tianchi" in Chinese, is located inside a caldera on top of the mountain. In 1962, North Korea and China negotiated a border treaty in which North Korea owns 54.5 percent of the mountain, while China owns 45.5 percent. The southeastern end of the lake belongs to North Korea and the northeastern part to China, and both countries operate tours to their respective sides of the lake.

2022 July 22, Mee-yoo Kwon, “Apple corrects map after VANK's protest over ownership of Mount Paektu”, in Korea Times‎, archived from the original on 25 August 2023‎