The planet probably got this name due to its red color; Mars is sometimes referred to as 'the Red Planet'.
mars is red because of the sun
( z1 cause :ARG0 ( z2 sun ) :ARG1 ( z3 red :ARG1 ( z4 planet :name ( z5 name :op "Mars" ) ) ) )