[petsc-users] Inquiry about PetscDS for discretization of second order system