Agree with all the comments so far.

There must be clear signs of where the water is coming out of the pond.

It should drain down to the level of the leak which may enable an effective repair.

It may also be a good time to drain down the pond using a trash pump in order to do more extensive, long lasting repairs.

Excerpt from Robert Crais' "The Monkey's Raincoat:"
"She took another microscopic bite of her sandwich, then pushed it away. Maybe she absorbed nutrients from her surroundings."