Robert Allen - British naval officer