That source states that his ancestor immigrated to the US but it doesn’t state he became a citizen automatically. Perhaps citizenship or perhaps just legal residency? I don’t care enough to search but the post isn’t disproved by that link.