Mit Wirkung vom 13. Februar 2024 wird SeaWorld Entertainment, Inc. sein Börsenkürzel an der New Yorker Börse von SEAS in PRKS ändern.