Nomeação do 21700, Capitão-Tenente Hugo Filipe Bravo da Guia, para o cargo de Capitão do Porto de Lagos