Fue don Mariano Jiménez quien batió a Trujillo en Atenco.