Does Ted Cruz have a Report of Birth Abroad?
.
Probably not, since they returned before 5 years.
I have two cousins that were born when their parents were in Italy. They have birth certificates from the provence of Palermo, and no other documents.
But they are American citizens with US passports.