Nomeação do 21488, Capitão-de-Mar-e-Guerra Mário Vasco Lopes de Figueiredo para os cargos de chefe do Departamento Marítimo do Sul e de Capitão do Porto de Faro