The Gulf of Guinea is an important source of petroleum for the world market, with Nigeria being the dominant producer in this region. Nigeria's oil infrastructure has been subject to frequent attacks, causing production to be well below capacity. Moreover