Federal district court cases involving prediction markets, including injunctions, orders, and rulings.