Carnival makes leadership changes amid pause in operations

Gus Antorcha, Carnival Cruise Line chief operating officer, has replaced Orlando Ashford as Holland America Line’s new president