History of Dallas County, Texas: From 1837 to 1887