Tianchi

Etymology
From the romanization of the.