Nomeação do Capitão-de-Mar-e-Guerra Rui Gabriel Martins Santos Pereira para o cargo de chefe do Departamento Marítimo do Sul e Capitão do Porto de Faro