And I don’t think it was reported anywhere else. The problems of space make it quite impossible for every obituary to be published within days of a death. At least the Telegraph has a policy of publishing obituaries of servicemen with notable or interesting lives.