Who was a tejano who was active in the Texas Revolution and served for a time as mayor of San Antonio? He was eventually driven from the town by vigilantes because of his Mexican heritage.