Nomeação do Capitão-de-Fragata José António Zeferino Henriques para o cargo de Capitão do Porto da Nazaré