How was Mauritius named?

The island was inhabited but later occupied by the Dutch who named it Mauricius after prince Maurice of Nassau.