We have a 4000 Gal out door pond, with 6 Koi. Largest ones are 2ft. & 1 High Fin Banded Shark ( 1ft long). We added 2 more small HF Sharks in May 2017. It appears the Koi ate them. The Koi were coming out of their dormit stage. We hadn't start feeding them yet. When we had our pond cleaned the 2 little guys were gone! We waited til the end of July, when the Koi had been eating for a couple months. At that time we bought 2 more 6in. HF Sharks. I think the Koi ate them too. What do you recommend as the smallest size fish to add to our pond, without them becoming fish food?