What Is the Correct Equilibrium Constant Expression for the Following $K=\frac{\left(P_{\mathrm{HI}}\right)^{2}}{P_{\mathrm{H}_{2}}}$

What is the correct equilibrium constant expression for the following reaction? H₂(g) + I₂(s) ⇌ 2HI(g)

A) $K=\frac{\left(P_{\mathrm{HI}}\right) ^{2}}{P_{\mathrm{H}_{2}}}$
B) $K=\frac{P_{\mathrm{HI}}}{\left(P_{\mathrm{H}_{2}}\right) ^{1 / 2}}$
C) $K=\frac{\left(P_{\mathrm{HI}}\right) ^{1 / 2}}{P_{\mathrm{I}_{2}} \times P_{\mathrm{H}_{2}}}$
D) $K=\frac{\left(P_{H I}\right) ^{2}}{P_{\mathrm{I}_{2}} P_{\mathrm{H}_{2}}}$
E) $K=\frac{\left(P_{\mathrm{HI}}\right) ^{2}}{\left(P_{\mathrm{I}_{2}}\right) ^{2} \times\left(P_{\mathrm{H}_{2}}\right) ^{2}}$