History of the war between the United States and Mexico, from the commencement of hostilities to the ratification of the treaty of peace.