Flags were flying at half mast on all public buildings.

所有的公共建筑都降半旗。