Trump: may have to hit Iran harder - or maybe not Reuters 2026-05-20 Signs of the Times Global Source Trump: may have to hit Iran harder - or maybe not Reuters