Walt Disney World, Gov. DeSantis reach settlement over lawsuit