They haven't changed the name, even though the reference might be lost on a few people today.

If you zoom out - and I don't know why you wouldn't; there's little about the modern view that invites much study - you will see the faint remains of the old pool area, along with a ghostly shape where the pool itself seems to have been.