He is very probably a citizen, the question is whether he is a “natural born” citizen. That is what the vault copy would show.
It is 1:25 AM for me, so bed time ( am in Taiwan ). I will send you a private post tomm that spells out the law at the time of his birth and what was need to be a “natural born “ citizen if he was born overseas ( turns out he would not qualify )