The US Government’s Liquidation of High-Value Crypto Could Net Another 5,000 BTC