In case you're wondering:
May 15 is Peace Officers Memorial Day. Because of this, flags on government buildings -- and some commercial and private buildings with flagpoles -- lowered to half staff.
And even though Monday was the day that local officials marked the loss of life among public safety employees, that was at the beginning of the memorial week. This is the day.