Report on the survey of the West Virginia and Pennsylvania boundary, 1883.