Paying off the national debt