https://www.metaculus.com/ - While not a trading market, Metaculus provides well-calibrated probability forecasts that can serve as a reference for evaluating prediction market prices and overround.