Petroleum industry in سنگاپور