ISIS leader killed in US raid