El marino portugués Pedro de Mascarenhas, dio el nombre de islas Mascareñas al archipiélago.