flags waved at half mast as a sign of mourning