Original: Their surname was "Mario", resulting in Mario's full name being first given here as "Mario Mario".
Simplified: Later, he was named "Mario", after Mario Segale, who was a lot like Mario.