The US government sold approximately 200,000 BTC over the years, costing the taxpayers $17 billion.