Trump: I may ask Congress to formally declare war to fight terror