Yep...and everyone in the military, active duty, reserve, retired...and their eligible dependents...carry a national ID card.