"планета Марс" - что это?

Читаю детскую сказочку португальскую "Самый большой цветок мира" (José Saramago “A maior flor do mundo”) и бац! непонятность((
Маленький мальчик идёт-гуляет в окресностях своей деревни. Всё знакомо и скучно-привычно. А чуть дальше начинается земля, ему не знакомая. Он называет её "планета Марс". Я бы сейчас сказала  terra incognita. Но это сейчас, а в детстве как неизведанное называют? Но не это я хочу узнать. Что значит "планета Марс"? Может быть это что-то из детской книжки или мультика? Ну не верю я, что деревенский дошколёнок знает, что такое планеты. У автора эта чёртова "планета Марс" взята в кавычки, ну не случайно же.
Вдруг кто-нибудь знает, сталкивался с таким названием, а? Ну страшно любопытно))) А интернет выдаёт мне всякие разности о Марсе((

Помогите! Не дайте помереть неучем((

книга написана в 2001 году