US military: Three ISIS leaders killed in recent strikes