That one I caught at a B&B we were staying at, owners were pissed to say the least, it was an open pond and wasn't
really a pet, washed in from a flood.
I've had the worst luck w/ Koi...I've stocked over 30 in my pond and between the birds, otters, coons, and bears getting them...not cheap, I lose a bunch of trout every year to otters. Had a load of HUGE goldfish too..gone.
My pond from our deck about 40 feet up:
View attachment 163080
I still have two koi in a 55 gal aquarium in the house trying to grow them out to hopefully survive pond life, man they poop a lot.