Who was one of the prominent Etonians who died in the Great War