How did an investor bet on Romney winning?

• stock option trading

What did trader buy to bet on Romney winning? Some kind of option? What option on what? Stock? What stock would benefit Republican anymore than Democrat?

How did an investor bet on Romney winning?