I wouldn't be so sure. It would not surprise me at all if the Iranians attempt to assassinate a Jew in the Trump administration in the near future.Ok, Iran got off it's little response.
No US personnel hurt or killed. Iranian leaders are desperate to save-face to their people, they probably believe they've now done so.
Trump should now let them know anything further, and we'll destroy their Navy. End it there, and move on.