How many rich Romans owned pools in old Jersulem? Just the one? I dout that. They may have found a pool but what makes it THE POOL?
I agree, another little trick to try to reinforce story of history written many many many years ago, edited many many times, by many many differnet people.