History of the war between Mexico and the United States, with a preliminary view of its origin