I seriously doubt the keys were lost. I'm willing to bet that he was trying to arbitrage to build up the reserves once the price dropped on his exchange but realized he couldn't do so quickly enough to recover 744,000 BTC.