Trump says 'thank you' to Iran for not hanging protesters