What would happen if Donald Trump chose to challenge the US election result?