Pentagon now says 7,200 troops are in Iraq and Syria