Non-intersecting paths and Hahn orthogonal polynomial ensemble

We compute the bulk limit of the correlation functions for the uniform measure on lozenge tilings of a hexagon. The limiting determinantal process is a translation invariant extension of the discrete sine process, which also describes the ergodic Gibbs measure of an appropriate slope.