como terminó la guerra con brasil