Should the U.S. use any form of military force in Syria to combat ISIS?