Were is the red Gyarados in Pokemon diamond?

I think it is on the lake near the legendar pokemon. I not that sure.