The jack-o’-lanterns are not yet rotting, but we have fresh information about holiday happenings at three Central Florida theme parks. Visitors may see the return of the sea lion show at SeaWorld ...