Ribbon cutting for Cruise Terminal 25 at Port Everglades