They'll use that bitcoin to buy $100M worth of the Trump shitcoin and call it even, which may be cheaper than using mixers.