Los grandes cráteres de Ida llevan el nombre de cuevas y tubos de lava de la Tierra.