Selling Bitcoin Could Cut Budget Deficit