Brunei LNG (Trade Relations Dept., Brunei Shell Petroleum Co. Ltd., 1980)