@cb_doge Grokking this question, the appropriate name for the first Martian metropolis would be "Valentine City" (leaving out the simplicity of Michael Smith) based on Robert Heinlein's book "Stranger in a Strange Land". Afterall, he was the first human GROKKER.