Is the war over? Disney and Ron DeSantis’ allies reach agreement to end legal battle

The war between Mickey Mouse and Ron DeSantis appears to be over.