Flags fly at half mast