A war on cops? The effects of Ferguson on the number of U.S. police officers murdered in the line of duty