Brazil’s leaders should be nostalgic about the US “currency war”