You just read:

SeaWorld Entertainment, Inc. Appoints Gustavo Antorcha as Chief Executive Officer

News provided by

SeaWorld Entertainment, Inc.

Feb 05, 2019, 16:05 ET