Source: https://politics.stackexchange.com/questions/27070/tie-breaking-in-final-round-of-ranked-choice-vote