pool where Sanhedrin head may have bathed