Disney's long battle against Ron DeSantis is almost over