>>533201071
https://iwataasks.nintendo.com/interviews/wii/mario25th/1/3/
Mario went unnamed in Japan, but Miyamoto called him Mr. Video at the time. Jumpman was a proto name created by NoA and used in DK arcade's manual, before coming up with his final name Mario.