Public Domain Super Heroes

Is there a story that states "Thomas" as his real name or is that an assumption?Cebr1979 (talk) 05:54, December 8, 2016 (UTC)