Petroleum. No. 7992, Empire Oil Works et al. v. New York Central Railroad Company et al.; decided May 2, 1918; report [and order] of commission.