Oh now I feel really bad, as I had those fish for many years and always seemed healthy. How many would you suggest and presumably just goldfish?At 800 gallons with two good sized koi plus goldfish, you were seriously overstocked. Basically a disaster waiting to happen. Any small thing could have pushed your pond over the edge quite honestly.