Colorado shooting: Boulder police officer was last killed in grocery killing