Will Sen. Portman campaign with Trump?