Fact is that this debt checks out, you want something official? Fine.
http://news.bbc.co.uk/2/hi/business/8296079.stm
http://content.usatoday.com/communities/theoval/post/2009/10/620000005/1
http://usdebt.kleptocracy.us/
http://www.brillig.com/debt_clock/
There, the BBC,USA today and all...