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