I found the names of the officers. They were not widely publicized. I guess the US press does not want to incite violence among Americans.