flaggan var hissad på half stång.