Yeah, it’s like The Grand Canyon has a bunch of other names, but the one we stuck with is just: “The grand canyon. You know which one I’m talking about.” Sometimes the boring but obvious name works. It’s more believable that the people in this world renamed stuff to something obvious.