According to the article, Binance has $580 million locked up in FTX. But I thought that Binance sold all their FTX assets, which is what trigger the original bank-run on FTX. Was Binance not able to get their money out? If so, that seems disastrous for Binance.