Diversion works for allowing creek water to be pumped from pond.