Comment by Hippocrates

That’s my guess too but the size of the hole (8bn+) makes it hard to imagine it could all be lost in trading, either in a big bang, or gradually for years.