Totally unrelated, but we used to retaliate when members of the military were murdered by Muslims.
http://en.wikipedia.org/wiki/1986_Berlin_discotheque_bombing
That was before we had this “president”