Pithole, the vanished city;: A story of the early days of the petroleum industry