Title: The Ohio central coal company