Approaches to paying off the national debt