"which is the nonprofit arm of Sea World."