Mr. Trump was elected President of the United States