As a result of the U.S.-Mexican War, the southern boundary of Texas was —