aman codex: Why Does Elon Musk Want to Go to Mars? 🚀