An anonymous trader made $11 million of “pure profit” betting on Donald Trump’s victory on Polymarket, the leading prediction market.