Should the U.S. go to war against ISIS militants?