Is anyone else worried that the new head of Nintendo America literally has the main Mario villain as his surname?

To be succeeded as head of marketing by Tony King R. Kool.