How did the brazilian war of independence end