U.S. should consider a formal op to combat ISIS in the Philippines, says Gen. Paul Selva