Earlier this year, Disney filed a lawsuit against Florida governor Ron DeSantis and the state’s other elected officials.