Brazilian army patrolling Rio de Janeiro