Vlaggen halfstok voor dode sergeant