Drain the pond.
The dirt from all of the rocks proved to be too much for the pond. This step was not unexpected. So, Brian drained the pond this evening and then removed all of the muck with the shop vac. The pond has been refilled, so once the chlorine dissipates in a few days, I’ll be able to get some fish for it! I just hope the chlorine doesn’t kill the plants…