# Do arithmetic schemes have non-singular alterations?

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.