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

Read more at cointelegraph.com