Trump is now president.