Were to find Gyarados in Pokemon Blue?

option 1- evolve a magikarp from level 20 option 2- use super rod in the pond behind the house in fuchsia city