Donald J. Trump wins US Presidential election.