den brasilianska marinen ett gammalt , föga värdefullt fartyg ,som