fourteen persons and five crew was healthy and in isolation at the ship docked at bay everglades , gainesville . , according to a statement from carnival cruise lines , a brand of carnival group .
The Carnival Cruise Lines is a brand of Carnival Corp.