Thomas Hardy — naval officer from Jersey (1666-1732)