Singapore, Mandai External Effluent Discharge Pipeline