Disney and DeSantis allies end legal dispute over control of theme park