George Randolph — English naval officer