Venda do casco do navio hidrográfico "D. João de Castro". See original record