Thread:NerdWithAKeyboard/@comment-37882623-20190321192135/@comment-37882623-20190322200715

Even these websites say it:

https://www.hobbydb.com/subjects/tortoise-john-character

https://antagonists.fandom.com/wiki/Mayor_Tortoise_John

https://antagonist.fandom.com/wiki/Mayor_Tortoise_John

To be honest, I think this might be false info