US debt/United States total tax due