The shortest confidence interval for proportion in finite populations

Consider a finite population. Let $\theta \in (0,1)$ denote the proportion of units with a given property. The problem is to estimate $\theta $ on the basis of a sample drawn according to simple random sampling without replacement. We are interested in interval estimation of $\theta $. We construct the shortest confidence interval at a given confidence level.