krigsfartygen tillegnade sig namnen Mars,