five guests and six people remained ill and in isolation till the ships arrived at lake mangroves , fla . , according to a statement from carnival cruise lines , a brand of carnival inc .
The Carnival Cruise Lines is a brand of Carnival Corp.