Israel carries out strike against Iran, US official says