hade flaggan hissad på half stång.