He’s been pretty emphatic about it. Have you read his position papers? or hear his foreign policy speech some weeks ago in IIRC DC?
I’ve heard him say he’s gong to bomb the hell out of ISIS.