<p>Quick arbitrage opportunity shows prediction markets are still inefficient.</p>