美国墨西哥战争什么时候结束