We have moved to a house that has a mature garden with a brick built pond at the bottom. Due to two reasons (the first being that we have young children and don't want open water, the second being that I detest frogs) we want to get rid of the pond. I would like some advice please on how and when to do this. It is currently full of very murky water with some pond plants, there are a couple of live frogs in it and some frog spawn. We were thinking of turning it into a raised bed.