Ex-GAO head: US debt is three times more than you think