En episod ur brasilianska inbördeskriget.