On a related note, should the USA decide to colonise Mars under Musk, I propose we change Mars to Koalemos. who was the Roman god of stupidity.
https://en.wikipedia.org/wiki/Koalemos
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.