Was it the right move for Disney to sue Florida Gov. Ron DeSantis over the issue of the theme park district?