I have a lined approx. 50,000 gallon Koi pond and show to have a ph of 9. Best way to lower the ph?