If you remove "perhaps at the cost of extending the initial [finite] set to a larger [finite] set of prime ideals" from your question, then the answer is yes for a fixed Krull domain $R$ if and only if $R$ is a UFD. First, suppose that the answer is yes for $R$. Then let $x$ be an element of $K$ such that $v_P(x) = 1$ for a fixed height one prime $P$ and $v_Q(x) = 0$ for all other height one primes $Q$. It is clear, then, that $P$ is principal, generated by $x$. (Check this.) Since then all height one primes of $R$ are principal, $R$ is a UFD. Conversely, if $R$ is a UFD, then every height one prime $P$ of $R$ is principal, say, generated by $x_P$, and then $x = x_{P_1}^{n_1} x_{P_2}^{n_2} \cdots x_{P_k}^{n_k}$ satisfies the required condition for $x$. The clarified question is an interesting one. I doubt it has a positive answer, but I haven't made much progress on it. Maybe it's useful to observe that the question can be rephrased in term of the group $D(R)$ of all divisorial, or $v$-closed, ideals of $R$ under $v$-multiplication, which is freely generated by the height one primes of $R$ (where $I^v = (I^{-1})^{-1}$ is divisorial closure and $v$-multiplcation is $(I,J) \longmapsto (IJ)^v$). The question asks if, for all height one primes $P_1, P_2, \ldots, P_k$, there exists a divisorial ideal $K$ such that, for all divisorial fractional ideals $I$ in the subgroup $(P_1, P_2, \ldots, P_k)$ of $D(R)$ generated by the $P_i$, there exists a divisorial ideal $J$ that is $v$-coprime to $(P_1 P_2 \cdots P_k K)^v$ such that $(IJ)^v$ is principal. In fact, one can restrict the fractional ideals $I$ to the ideals $P_i$ and their inverses $P_i^{-1}$. Equivalently, one can restrict the vectors $(n_i)$ to the elementary unit vectors and their negatives. Moreover, all of the "$v$"s can be eliminated if $R$ is a Dedekind domain. Note that the class group of $R$ is the group $D(R)$ modulo the subgroup of all nonzero principal fractional of $R$. Since we may assume that $R$ is not a UFD, it must have infinitely many prime ideals, and therefore $D(R)$ is the free group on infinitely many generators. I suspect that the answer has something to do with the class group of $R$. Maybe the answer is no when the class group is infinitely generated, or possibly even just infinite.