Technically, the child is an US citizen once the parents (one/both) with whom he/she resided here in US naturalized, and the child carried a valid Green Card, and is < 18years of age.. So all those conditions are met here , and the child is deemed to be an US citizen.
The onus of getting...