The Empire Hole and a Large-Scale Quarry in Indiana Limestone Country