Nomeação do Capitão-de-Mar-e-Guerra António Carlos Marques Peiriço para o cargo de Capitão do Porto de Vila do Porto.