John Jennings — British naval officer and politician of the seventeenth and eighteenth centuries