Donald Trump elected US president