Nomeia o capitão-tenente da classe de Marinha Vasco Toledo Cristo para o cargo de Capitão do Porto de Peniche