Nove mil homens das Forças Armadas vão reforçar a segurança no Rio de Janeiro