David Allen - Royal Navy admiral