John Mangum (1732-1794)/descendants