Patrulhamento das Forças Armadas no Rio terá 9 mil militares