till krig deruti , att JSucccs och icke Rio Grande bildade Texas ’ vestliga gräns och att Förenta Staternas armé således öfverskridit denna gräns.