Korean tanker in Gulf of Guinea – missing?