En algunos documentos oficiales también figuran como "Isla de los Leones".