battle of Buena Vista,[332],[333];battle of Cerro Gordo,[333];battles of Contreras, San Antonio and Cherubusco,[334]