Trump is president.