Estrecho de Ormuz: buques petroleros fueron atacados después de que Trump anunciara la extensión del alto el fuego con Irán