Carnival leads big down day in cruise line sector as jittery trading continues