gregorio garcía was a mexican soldier who took part in the mexican revolution