En fotos: Río de Janeiro, transformada por la intervención del Ejército