The long-running legal battle between Disney and allies of Florida Gov. Ron DeSantis is over—in the Florida courts, at least. The board of the Central Florida Tourism Oversight District, installed by DeSantis to oversee Disney's special tax district, has agreed to a settlement that will end numerous legal actions involving Disney, including a lawsuit that was due to go to trial in June, CNN reports.