Verified answer

Красная планета - профессиональное слово на языке учёных - астрономов. Камни на Марсе покрыты оксидом железа, попросту ржавчиной. Отсюда и название.

Марс - общеупотребительное.

Кажется, так.