Det flaggades allmänt på halfstång