Petroleum. Docket no. 72, Atlantic Refining Company v. Ellerman & Bucknall Steamship Co., Ltd. [et al.; decided Dec. 14, 1932; report and order of board].