以色列国防军：未在霍尔木兹海峡开展行动，但正就情报工作向美方提供协助。