También fue ejecutado el coronel Mateo Vaquero, comandante local.