Sorry I’m not that ODS.
IF he was actually born in Hawaii and proven via vault copy then yes he’s a Natural Born Citizen as his mother was a US Citizen. His father wasn’t but his mother was, that’s good enough for me.
Of course that still hangs on a vault BC showing he was in fact born in Hawaii.
See post 28