Finaliza intervención militar en Río de Janeiro