Su nombre original habría sido Picchu o Picho.