Question: the name given to mauritius by the portuguese
Answer: Ilhas Mascarenhas