以色列海军也参与了周一对伊朗的袭击。