Mauritius oil spill ship operator to pay $9.4 million