official prosecutor for a judicial district