History’s Biggest Buyback: Is the U.S. Government Out of Options?