This is another possibility people are overlook, that perhaps they never had them. Perhaps they simply built up a liability of 800k bitcoins by trading on their own exchange and making some bad calls.