How should the United States pay off its public debt?