John Duke — British police officer (1926-1989)