The MicroStrategy Liquidation: Could They Be Forced to Sell Bitcoin?