och flaggning på half stång från alla offentliga byggnader är påbjuden.