How much hydrated lime would be required on a pond that size if I were to drain it down to 4ft?