Disney and DeSantis allies reach settlement in special district fight