Can anyone tell me who died, that all the flags on capitol hill are at half mast