It's awful to have to consider these things. But since you ask, he also could carry his naturalization certificate. The other option is to get a Certificate of Naturalization but that's akin to getting a passport.