I’m sure Mars, “The Red Planet”, is the obamanation administration’s favorite planet.
“better dead than red”
They cannot trademark that name it offends some...