why are the flags still at half mast? did i miss a bulletin...