‘The result would have likely been 10 dead American sailors and who knows how many Iranians, and a possible war in the Gulf.’