What's the size of the pond? It might be more beneficial to drain and dig it out and start fresh.