Nomeação para o cargo de comandante do Comando Operacional da GNR do Tenente-General José Manuel Lopes dos Santos Correia, do Exército, presentemente a prestar serviço na GNR