A second-order efficient empirical Bayes confidence interval