Where does “Mario” come from?

Mario (Dutch) comes from Italian Mario, from Latin marius — The name of a Roman gens.

Mario (Dutch): Mario