Map of the San Jacinto battlegrounds.