hade flaggor hissats på half stång.