The battle of Point Pleasant: a battle of the revolution, October 10th 1774; biographical sketches of the men who participated