Historicamente, registrou-se que, em 1537, as ilhas que formaram a Cidade Maurícia não tinham nome. Eram conhecidas apenas por Ilhas do Porto dos Navios