Sorry to hear your problems. In NJ we have gotten about 4-5" so it is just a matter of pumping out the excess water. I would think if you turn off the pump and let things sit still the mud will settle and then you can vaccuum it out. You probably need to find out why you had a mud flow towards the pool. The pool should be slightly higher than the surrounding ground so that run-off won't go to the pool. Maybe when things dry out you should build some sort of burm so this does not happen again.