De Mangam, active 1685-1718, captain in Dutch army