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

ポルトガル語で『海の』を意味する。ラテン語の『marinus』（海に関連する）に由来する。