Dos destructores de EE. UU. atravesaron el estrecho de Ormuz por primera vez desde la guerra con Irán, según medios estadounidenses.