What is a legal document approved by a judge that formalizes an agreement between a governmental agency and an adverse party called?