åter införlifvats med brasilianska flottan.