When were mauritius discovered?

The island was known to Phonecian, Arabs, and Malay Sailors as early as the 10th century