"9,000 ISIS terrorists". Geez, I wonder how many it would take before it'd be called an army.