Details on U.S. retaliatory strike against Iranian-backed militants in Iraq