Martial naming

I used to think the kids who called me "Martin the Martian" were idiots, but given Martin's provenance from the Roman god of war, Mars, and that god's association with the blood-red planet, I guess it was an etymologically perfectly valid association.

Not that they knew that. Jerks.