I’ve never heard of a reputable company selling all of their shares on an oopsie
This was not an error. And he did not sell shares. The guy bought 120,000 PUTs. They were likely a dollar a piece. The down side was small. But the up side was huge. Back then I think DJT was around $30. Now its around 18. If that had happened when he owned the PUTs he would have been up 120,000 x 100 x 12. So somewhere around 144 million minus the 120,000 he paid. People who were active in the stock would have noticed. Its a hard to barrow stock. So it would have moved the market down. Don’t know when the guy got out. But the stock went up afterwards. So I think he lost most of his 120,000.