El Distrito tiene 13,156 habitantes.