Un portaaviones de EE.UU. pasó por el estrecho de Ormuz sin problemas