How did Tianshui in Gansu get its name?

Wei Qing, the general, and Huo Qubing, the general of a title of generals in ancient times, marched to the Xiongnu in the west, won a great victory, and the Silk Road was smooth sailing. In order to better govern the country, the Western Han Dynasty divided Longxi County into two counties. One day, Emperor Wu of the Han Dynasty heard? Tianhe water injection? This legend is very happy. The monkey built a new city and a new county by the lake. What's its name? Tianshui County, Gansu Province was named after this legend.