Mamilla Pool is one of several ancient reservoirs that supplied water to the inhabitants of the Old City of Jerusalem