“Comemorações do Dia da Marinha: o ministro da Marinha, almirante Manuel Pereira Crespo, condecorando com a medalha naval de Vasco da Gama o chefe do Estado-Maior da Armada, vice-almirante Armando de Roboredo e Silva”