Let $R$ be a DVR of char $0$ and $S=Spec(R)$. Let $X\longrightarrow S$ be a proper flat morphism. Assume $X$ is integral. De Jong's Theorem 8.2 in his paper Smoothness, semi-stability and alterations implies that $X$ can be altered into a scheme $Y$ which is semi-stable over a DVR $R\_1$ where $R\_1$ is finite over $R$. 
Does the above statement still hold if we require $K(Y)/K(X)$ is a finite Galois extension?



Generic Galois alteration of an arithmetic model with semistable special fiber
This is a special case of Lemma 3.8 of the [paper](https://doi.org/10.24033/asens.2097) "Sur l'indépendance de l en cohomologie l-adique sur les corps locaux". (Sanity check: in the proof of 4.11 the author uses that $Y$ obtained from Lemma 3.8 is strictly semi-stable over the new dvr. Also, since you assumed the fraction field of your dvr has char 0 there is no issue with inseparability of the extensions of fields we obtain.)


Many other authors have proved different and interesting versions of the original result by de Jong. In particular, I mention Gabber's results (see for example "Traveaux the Gabber sur l'uniformisation...") and very strong techinical results by Temkin. I'm sure you can deduce what you want also from those papers, but as far as I can tell it would be a less direct reference. Cheers!


