US military killed 37 terrorists —including ISIS and al Qaeda leaders — in Syria earlier this month: officials