Origin of the flag at half-staff