ZIP Code 78843, Laughlin AFB, Val Verde County, Texas