thirteen guests and five crew remained in and in isolation when the ferry arrived at port everglades , fla . , according to a letter from carnival travel lines , a division of carnival corp .
The Carnival Cruise Lines is a brand of Carnival Corp.