A Polymarket trader turned about $13,000 into about $475,000 on the bet. The trade centered on a ceasefire between the United States and Iran.