Key West residents voted to ban large cruise ships from docking — whenever cruises resume