Author: Joint commission on Pennsylvania and Ohio boundary line, 1878-1883.