The infinite Ramsey theorem implies that, if we color the $n$-element subsets of $N:=\{0,1,2,\ldots\}$ in a finite number of colors, then there will exist an *infinite* subset $A\subseteq N$ such that all $n$-element subsets of $A$ will be of the same color.

My question is about **vectors** in $N^n=\{(x_1,\ldots,x_n) \colon x_i\in N\}$ instead of $n$-element subsets of $N$.

Say that a set $X\subseteq N^n$ is *dominating* if for every nonempty subset $S\subset \{1,\ldots,n\}$ of positions, there is a vector $x\in X$ such that
$$
\min_{i\in S} x_i > \sum_{i\not\in S} x_i.
$$
For example, the set $X=\{0,1\}^n$ is dominating, as well as is any set $X=\{a_1,b_1\}\times \cdots\times \{a_n,b_n\}$ with
$$
\min\{b_1,\ldots,b_n\} > a_1+\cdots+a_n.
$$

Question:If we color the vectors in $N^n$ in a finite number of colors, will then at least one dominating set $X$ be monochromatic?

The question seems so natural that it should be definitely investigated by someone. But I couldn't find any references, nor any counterexamples.

My question is motivated by a rather "pragmatic" goal: to prove that randomness cannot speed-up dynamic programming.