tillhörde utländska icke-Brasilianska fartyg.