What if the Mexicans did a little better in the Mexican American War but still ultimately lost to the United States?