Trump is the President.