That's not a very large debt for the United States