Thanks for the quick responses!
This is a 17K gallon inground plaster pool with a sand filter.
I was reluctant to just run the pump/filter and then end up draining it anyway. I don't think there is too much actual mud to deal with, just very dirty water. The water was runoff from the street and...