Efficiency and the Disposition Effect in NFL Prediction Markets