Pipe lines. Government-owned pipe lines, report of War Assets Administration to Congress, Dec. 18, 1946.