och på alla offentliga byggnader svajade flaggorna på half stång.