‘Declaration of vengeance’: US launches ‘Op Hawkeye’ in Syria, Trump touts killing of ‘ISIS thugs’