miamidade *County that includes much of Everglades National Park Norwegian Cruise Lines' headquarters