intervención militar en rio de janeiro