historical maps

i just found a great site davidrumsey.com. it has a lot of great historical maps to look at or buy. i am researching velasco in aguascalientes and one of the maps at this site shows a town of velasco in aguascalientes in 1800's. has anyone heard of this town?