Florida Senators introduce cruise act to resume cruise line operations