Interesting. I didn’t know anything about President Polk. Now I do. Thanks for posting.
My only issue was that the boundary with Mexico should have been more straighter. We should have annexed the entire Baja California peninsula and moved the existing boundary about 50 miles South of what it is today (keeping the Rio Grande as part of the Texas boundary though). This would have solved a lot of problems and we would have had a cool vacation spot.