MEXICO, COLONIAL CITIES San Miguel de Allende; colonial city with many gringo residents; painted wall decorations