US Debt ceiling of Oct 2017 (and 2013) - breakdown