What war did America and Mexico fight in