Brasil soma até maio um déficit recorde de US$ 22,2 bi