3 Polymarket traders made a timely bet on a US-Iran ceasefire