Öltanker von ‚externen Explosionen‘ vor der Küste von Dakar getroffen