My mil works at a public pool, they don't take **** lightly. The kiddies pool gets drained completely. In the indoor pool it has to be shut down and heaps of chemicals put in, and not reopened until the chemical levels are ok.
Even little babies can have gastro. Plus it won't even be solid at that age so not as easy to scoop it out.
I would have told a staff member