Nomeação como Comandante-Geral da Guarda Nacional Republicana do Tenente-General José Manuel Lopes dos Santos Correia