Unos 9 mil militares patrullarán las calles de Río de Janeiro - Diario La Tribuna