End of operations of the tanker “Mersin”: the Port of Dakar rules out any environmental risk