Let $X$ be an integral normal flat finite type scheme over $\mathbb{Z}$.
Does there exist a proper surjective generically finite morphism of schemes $Y\to X$ with $Y$ an integral regular finite type scheme over $\mathbb{Z}$?
I could not find such a result in the literature.