Elon Musk proposed nuking Mars last night on Colbert