Treaty of June 15, 1846, between Great Britain and the United States,

[326]

,

[339]

Treaty of February 2, 1848, between Mexico and the United States,

[338]

,

[339]

,

[354]