mexican and american war