No option? do you really think the Iranians would have killed the sailors on the high seas? I doubt it.
There are muslim fanactics. Of course they'd have killed them, cut their heads off, and demanded reparations.