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 "Greenberg Traurig, Holland & Knight, Inktel Direct, Interval International, Lennar, Navarro Discount Pharmacies, Norwegian Cruise Lines, Oceania Cruises, Perry Ellis International, RCTV International, Royal Caribbean Cruise Lines, Ryder Systems, Seabourn Cruise Line, Sedano's, Telefónica USA, UniMÁS, Telemundo, Univision, U.S. Century Bank, Vector Group and World Fuel Services.". Is that enough to answer the question?