. . to trade Texas to Mexico for Baja California. True, Texas still has some oil, but I'm sure the Mexicans will sell us that oil cheaper than the Texans do anyway.