The last time I visited a koi pond was at the Bok Tower & Gardens outside Orlando, and the fish practically jumped out of the water to be fed.
Koi do jump.