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