Veteran judge named special master in Trump documents search