How do you pay off the national debt?