Hi folks,
First, the fish were very healthy when we took over the pond, which is partly why this is so devastating. I feel responsible for these little guys. The previous owners left a 9 lb bottle of salt that is missing only about a pound at most. They left water test kits too, and explained they didn't use the test kit much and they didn't really use the salt. They said the fish were healthy and had no reason to lie. So they were either lucky or it proves that simply having good filtration and maintaining a good water change schedule is enough. We carried on the same approach (maintain biofilter and water changes, feed the same, etc.) only I started using the test kit and reading up on koi care. The Ph had a very low baseline of 6.6, but with the fish happy I found it best not to do anything to change it. Then there was a massive rainstorm and we had a Ph drop to 6.0 and that's when I learned about Kh and discovered we had 0. So I started adding baking soda very very gradually over many days to try to get the Kh up without causing a Ph shock. Everything was going fine, but the pond was leaking a lot requiring a lot of new water to keep it above the skimmer level. The health problems started after we relined the pond. Call it very sudden onset.
The picture is from before, but it is from after we did some searching for leaks, so the rocks are not where they were when we got the pond.