"Portaria do Ministério da Marinha, mandando arquivar na Torre do Tombo, com o respetivo autógrafo de decreto, a carta de lei que o sanciona, pela qual é o governo autorizado a dispensar ao contramestre da Armada, António da Costa, o tempo de tirocínio que lhe falta para ser promovido à classe de mestre, e a promovê-lo a essa classe, reformando-o imediatamente"