Tianchi on the top

Apart from here, there is no place to call itself Tianchi. It is located on the Tianhuangping with an altitude of nearly kilometers. Do you know how the water comes from?