Trump: may have to hit Iran harder - or maybe not Reuters