David Stone (British military historian and author)