Israel’s operation against Iran was coordinated with US, Israeli official says – Reuters