The Polymarket ‘whale’ actually made $85 million, far more than originally thought