Almost ALL cruise lines fill their pools with filtered ocean water. It is refreshed on a regular basis. The salt content acts as a disinfectant, not as good as chlorine, but if you think about it most things that live in fresh water don't do well in high salt concentrations.