My brother is a US citizen by birth but he was born in Japan on a US military base. I'm filling out a form for the Navy and I need to know what kind of citizenship documents he has. I looked at his birth certificate and it stated that he had some kind of document received several months later. What kind was it?