Descriptive pamphlet of Hillsborough county, Florida . .