Make no mistake: a bad man died. A bad man was *murdered*. Yes, he was doing his job. And his job was a bad job. His job and his money and his status helped to cover up the fact that his job and his money and his status stank with the blood of sick and injured people who he was happy to take money from, but treated like faceless serial numbers when it came time to give.
A bad man died. A bad man was *murdered*. And no angels wept.