From the Roman family name Marinus, which derives either from the name MARIUS or from the Latin word marinus "of the sea".