The CDC has banned cruises in the U.S. through October. If they are allowed to sail in November, would you take a cruise?