Si Clinton y Trump terminan empatados, ¿cómo se decide el ganador?