U.S. carried out a military strike targeting ISIS-K militants.