Donald Trump wins the US presidential election