What happens if the U.S. election is contested?