See: https://www.atayan.viajes/ciudades/san-miguel-de-allende/