Mauritius was encountered during the same expedition and received the name of "Cirne" and Rodrigues that of "Diogo Fernandes".[3] Five years later, the islands were visited by Dom Pedro de Mascarenhas[4] who left the name Mascarene for the whole region. The Portuguese took no interest in these isolated islands. They were already established in Asia in Goa, on the coast of Malabar, on the island of Ceylon (now Sri Lanka) and on the Malaysian coast.