See also Now that the fight with DeSantis appointees has ended, Disney set to invest $17B in Florida parks