Government publications. Exchange of official publications, agreement between United States and Brazil, effected by exchange of notes; signed June 15 and 24, 1940, effective June 24, 1940.