[@Lauder] What's the overall name? New Seoul can be the title of the first colony, but what about the entirety of human settlement?