US Government Bankruptcy, Government Spending and the Shorting of Trump Stocks