I want to know the answer to the following question:
Along with Celebrity, Carnival, Norwegian, Oceania and Royal Caribbean, what cruise line is based in Miami?
All the background I'm provided with is that "Several large companies are headquartered in or around Miami, including but not limited to: Akerman Senterfitt, Alienware, Arquitectonica, Arrow Air, Bacardi, Benihana, Brightstar Corporation, Burger King, Celebrity Cruises, Carnival Corporation, Carnival Cruise Lines, Crispin Porter + Bogusky, Duany Plater-Zyberk & Company, Espírito Santo Financial Group, Fizber.com,". Is that enough to answer the question?