David Clutterbuck — Royal Navy admiral (1913-2008)