Up to 35 ISIS operatives killed in US strikes in Syria, US military says