Nigeria’s Trans-Forcados pipeline which exports the Forcados crude oil is shut down for repairs to inspect a leak, a source with