How did the name of Tianshui in Gansu come from?

Wei Qing, a general, and Huo Qubing, a general in title of generals in ancient times, won a great victory in the western expedition to Xiongnu, opened up their territory, and the Silk Road was smooth. In order to better manage the country, the Western Han Dynasty divided Longxi County into two counties at that time. One day, Emperor Wu of the Han Dynasty heard? Tianhe water injection? The legend, very happy, the monkey built a new city next to the lake, set up a new county, called? Tianshui County, Gansu Tianshui got its name from this legend.