EDLs (Enhanced Driver's License) are also proof of citizenship and are only available in Michigan, Minnesota, New York, Vermont, and Washington. They are different than a normal DL so if he didn't have an EDL and didn't have a birth certificate to go with his standard ID he wouldn't have been able to go.