What has got into John's Koi?

They sure are swimming around and around!