A lot of people are with flags at full mast.