On April 22, 2017, the United States National Debt was at about 2.0 x 10^13dollars. The United States federal tax revenue was at about 3.3 x 10^12 dollars.After taxes were collected, how much of the national debt was still remaining?