SeaWorld Picks Carnival Cruise Exec Gus Antorcha for new CEO

SeaWorld Entertainment is hiring an outsider to run the Orlando-based company, which operates 12 theme parks across the country.
Gustavo “Gus” Antorcha, previously chief operating officer of Carnival Cruise Lines, will serve as SeaWorld’s new CEO, the company announced Tuesday...