Measured by its results, San Jacinto was one of the decisive battles of the world.