With deal done, Disney will withdraw lawsuit, ending conflict with DeSantis and his appointees