hissades flaggorna på half stång såsom ett uttryck af allmän sorg.