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