Newspaper cutting about the death of Lt Col John Rock, October 1942