Democratic nomination odds leader on October 31? — Algor