Here's the latest. We have started to drain the pond and took a post hole digger and shovel to see how far we could dig before hitting clay (assuming there was some kind of liner).
Unfortunately we dug less than 6" and hit rock. Everywhere. For 15 years the pond was thriving but only in the last year has it leaked water so that now it's almost dry.