US Government’s Bitcoin Holdings: Only 88,000 BTC Available for Strategic Reserve Amid Bitfinex Recovery Process