Guanajuato is a colonial mining town

---