What if the US paid off its debt?