Brazil: currency warrior or manipulator?