fourteen patrons and five crew remained injured and in isolation when the ship arrived at port everglades , fla . , attributed to a statement from carnival cruise lines , a brand of coaster corp .
The Carnival Cruise Lines is a brand of Carnival Corp.