Is our tax money still funding government agencies that have been dismantled by DOGE? If so, where is that money going? Or if not, is this “saved” money from DOGE?