IRS workers report impact of government shutdown on mental health