We definitely should change the name of "Mars" to "David". If hyper-intelligent life from a distance, advanced solar system makes contact with us, they will think we are way cool! What species would want to make war on, enslave or snatch the bodies of a people who named a whole planet after one of the great artists of our time?
Trouble is - we have a shortage of planets. But no end to regular stars in the heavens. Those who want to name things may need to be satisfied with that.
Also, I'm hoping that after the recent close pass by the New Horizons probe, we may see Pluto reinstated as a planet - It sure looks like a planet to me. I mean, it has a moon and everything! What more do they want?
Martians....Poor guys are the most stereotyped folks there are. Just because WE named their planet after our god of war. The name they use for themselves: "9uio***~{>?" means "We who chill all day on the red-sand Martian beaches drinking Space beer".