外国人名の呼び方、発音、意味や当て字

ギリシャ語で『海の男』または『海の戦士』を意味する。ギリシャ語の『marinos』（海に関連する）に由来。