Actually its hard to believe but seaworld does use IO for its salt water.
"Most public aquariums located inland use artificial seawater. Among these are Sea World at Orlando, Florida and the John G. Shedd Aquarium at Chicago, Illinois. Formerly, the latter used natural seawater held in...