The Ohio Gas Company