The US government said Monday that its deficit rose by 17 percent in its 2017 fiscal year that ended in September, as Washington spent $779 billion more than it collected in taxes. But let's look at the real number, which I gave you in a column last week. As I said previously, total US debt...