La "Goleta 12 de Outubro" sirvió en la armada brasilera.