nobody finds the name isis for an Islamic group that supposed wage war against infidels ironic? is it an acronym or what?