The US government is selling 4,000 BTC worth $243 million