What Happens if the Presidential Election Ends in a Tie?