och 10 norska handelsfartyg samt tvenne mindre brasilianska örlogsfartyg.