Two men in gray jackets shot and killed a police officer with a thud.