Let $X$ be a proper geometrically integral $\mathbb{F}_p$-scheme. Assume $X$ is the special fiber of a proper flat $\mathbb{Z}_p$-scheme with a smooth generic fiber. Is $X$ the special fiber of a regular proper flat $\mathbb{Z}_p$-scheme?