This was the third time the US had carried out strikes since the April ceasefire.