Was Thomas’ mom American/ a US citizen?
Thomas was born abroad of a citizen father and non-citizen mother. Same as Cruz, except "which parent" was the US citizen in Thomas' case was dad, and in Cruz's case was mom.
I linked the case. Is there some difficulty seeing it on your computer? Should I post the entire text of the case for you?