Trump is president still.