Can IRS pay tax refunds during shutdown? It depends who you ask