El general Miramón fue derrotado en San Jacinto.