Captain Jeff; or, frontier life in Texas with the Texas Rangers