eight guests and five staff remained healthy and in isolation when the liner arrived at lake marshland , fla . , according to a statement from liberty cruise lines , a brand of carnival corp .
The Carnival Cruise Lines is a brand of Carnival Corp.