flaggades allmänt på half stång.