Workforce reduction notices went out to the Treasury Department, as other agencies were also hit. Past shutdowns have resulted in furloughs, not firings