Text this: Geologic map and coal stratigraphy of the Doty Mountain quadrangle, eastern Washakie Basin, Carbon County, Wyoming /