Dian Lake
The former distribution of this species also included Yilong Lake, Dian Lake and Datunhai Lake (Datun Lake).