DeSantis, Florida Sue Over Cruise Industry