Пишется «Марс» или «марс»

Правильно писать:
«МАРС»

По какому правилу проверить слово «Марс»

Большая буква и кавычки в именах собственных

Данное правило гласит:
Имена собственные пишутся с большой буквы.
Заглавия книг, названия журналов, газет, картин, кинофильмов, спектаклей, заводов, фабрик, кораблей и т.д. не только пишутся с большой буквы, но и заключаются в кавычки.

Неправильно писать
«МАРС»

«МАРС» в контексте

Задрав головы, все увидели пристроившегося на марсе грот-мачты мальчишку.

Больше всего погибло людей на верхней палубе, полубаке, мостиках и боевом марсе.

Гребцов защищал фальшборт, а на верхушке мачты появился марс.