JD Vance Republican nomination odds leader on October 31? · oddsdesk.app