Grupo de portaaviones de EE.UU. navega por el estrecho de Ormuz