> and a cool billion was traded on bets on the timing of the bombing of iran

Oh, trump made some money?