He’s certainly said his name plenty of times before:

After the NC Gubernatorial candidate’s latest scandal, will Trump appear with the man, or mention the current NC Lieutenant Governor’s name again? If Trump says “Mark Robinson” before election day (after market creation), this market will Resolve YES. Or, if Trump and Mark Robinson are in the same place at the same time together (including digital synchronous spaces - e.g. podcast, livestream…etc.), this will Resolve YES.

Resolves NO at the end of November 4th, the day prior to the election.