John Thomas Lanier, Jr - What is the source for the middle name of Thomas?

The source listed on the overview page does not give a middle name. I know the sources I have checked did not list a middle name either.
My 4 sources:
1) Lanier, A Geneology of the family who came to Virginia and their French Ancestor
2) Southside Virginia Families, Vol. I
3) A Precis of the Accomplishments of Some Early Virginia Settlers
4) Southside Virginia Families, Vol. I (has a discussion on the 2 Johns)
I would love to know the source for the middle name of "Thomas"

Thanks!