Title: The Nigerian coal industry and economic development in Nigeria, 1915-1980