A combinatorial prediction market for the US elections