Yes Marshal killed. http://www.pennlive.com/news/2018/01/us_marshal_killed_officers_wou.html#incart_target2box_default_#incart_target2box_targeted_
Given this area, BLM and/or moslem perps would be an entirely reasonable supposition.