The Tax Smoothing Implications of the Federal Debt Paydown