It would probably be better if you put something down to cover the mud in the swimming area, like coarse sand or pea gravel over a layer of landscape cloth to hold the sand/gravel out of the mud.