John Mangum (1817-1881)/descendants