Clinton or Trump for President: What Happens If the Election Is a Tie?