I'm sure the fight with DeSantis may have played a small part but I doubt it was the deciding factor. Disney is not doing well and is cutting everywhere. Besides the mass layoffs going on, they just announced they are shutting down their star wars galactic starcruiser that opened a year or so ago at WDW.