Donald Trump was elected president of the United States.