How did the Aztec come up with the name Tenochtitlan?

Legend has it, that the Aztecs found the place for their new City in a spot where they saw an eagle perched on a cactus eating a snake. Once their city was complete, They called it Tenochtitlan, meaning "Place of the Prickly Pear Cactus".