Allmänt flaggas på half stång.