https://www.danielpipes.org/blog/2004/04/jihads-total-fatalities-since-911