Gulf Oil Corporation. In matter of Gulf Oil Corporation and Gulf Employees Association of New England; in matter of [same] and Oil Workers International Union, Local 381, affiliated with Congress of Industrial Organizations; in matter of [same] and [same], cases nos. R-1562 [to] R-1564, decided Jan. 11, 1940; decision and direction of election.