Draga-minas oceânico "Graciosa" See original record