Map of the oil district of West Virginia and Ohio