“U.S. warplanes strike Iran-backed militia in Iraq, Syria”