Carnival Cruise Line dumps Panamanian flag.