What was the first video game to feature the character Mario

Jumpman? (The arcade game they slipped into DK64 because they couldn't come up with a more legitimate way to make the game hard)