HJohn: Excellent comment.  Decades ago Great Britain lived through a wave of terrorist attacks. They were carried out by the Irish Republican Army (IRA).  Each attack was identified by all the media outlets around the world as an IRA attack. There was no political correctness invoked to omit "IRA" from the headlines even though the "I" stood for Irish.