BRASIL Brasil bate récords y exporta productos de defensa por más de 1.300 millones de dólares en el primer semestre de 2025 8 de julio de 2025