Judge blocks Trump order to defund public schools over DEI programs.