Florida’s marine industry