[Treaty] of April 11, 1839, between Mexico and the United States,

[301]

Treaty of August 9, 1842, between Great Britain and the United States,

[303]

Treaty of April 12, 1844, between Texas and the United States,

[307]

,

[308]

,

[309]