rubio campaign deploys 6,000 ground troops to combat isis