I’m not sure whats going on but three of my large koi (14”), are gone. I have a 5400 gal pond that is next to my business. Theres a lot of foot traffic on the daily and its right in the middle of town so there should not be a predator problem. Its like they just vanished out of thin air. I have (had) a total of 29 different fish mostly koi and a few big blue gill.