I also believe those keys are destroyed. No, one has keys to those coins. He didn't leave them to his kids. His wife, nobody, those keys got destroyed. My opinion.
Discussion
It's also largely irrelevant. Even if they all get dumped in the market, at once, the market would quickly absorb them because of all of the open shorts and hungry holders, and you can't dump them twice.
Once and then it's over.