Settlement reached in lawsuit between Disney and Florida Gov. Ron DeSantis' allies