Best variance divisor for a five-point sample

You have $n = 5$ independent normal draws and estimate the variance by dividing the sum of squared deviations $\text{SS} = \sum_i (X_i - \bar X)^2$ by a constant.

Which divisor minimizes the mean squared error of the variance estimate?