History of the Eighth U.S. Infantry from its organization, in 1838