. . "IRA forged with countries hostile to the United States, such as Libya and Cuba." . . .