Asymptotic Expansion of the Coverage Probability of James–Stein Estimators