Brasil despliega 800 militares y 10 tanques más a la lucha en Río de Janeiro contra el 'narco'