What lake do you find a red Gyarados in Pokemon diamond version?

i think its well picutue lake