C# - Obtener el máximo número (entity)

//previamente la tabla (con su respectiva PRIMARY KEY) debe estar incluida en el MODELO.


 private int NewCodJuzgado()
        {
            var newId = 0;
            using (var context = new leaOperModel())
            {
                newId = context.p_juzgados.Select(p => p.cod_juzgado).Max() + 1;
            }
            return newId;
        }