David Dobson — Royal Navy admiral