The storyFrom Mandarin 滇池 (Diān Chí), Wade-Giles romanization: Tien¹ Chʻih².Etymology from Wiktionary, CC BY-SA 4.0.