SeaWorld Entertainment changes corporate name, stock ticker

The company’s new name will take effect in a few weeks.