Edmonds, Peter, active 1685-1718, Sergeant; Holt's Marine Regt