Title: A history of the coking industry in the United States