Como Cingapura recebeu esse nome?

Cingapura deriva seu nome das palavras sânscritas 'Singa', que significa 'leão' e 'Pura' que significa 'cidade' ou 'cidadela'. A ocorrência mais antiga atestada está nos Anais Malaios, onde o nome 'Singapura' aparece no relato da fundação da cidade por Sang Nila Utama.