Seminole County pool will stay open despite child death lawsuit