El portaaviones estadounidense Eisenhower ingresa al golfo Pérsico