Delaware's main defense facility is the military airlift wing at Dover Air Force Base. Active-duty military personnel stationed in Delaware in 2002 totaled 3,899. Department of Defense contracts awarded the state in 2001 totaled $84 million. There were 84,289 veterans of US military service in Delaware as of 2000, of whom 15,403 served in World War II; 10,416 in the Korean conflict; 23,680 during the Vietnam era; and 9,967 during 1990–2000 (including the Persian Gulf War). Veterans' benefits totaled $142 million in 2002. In 2000, the Delaware state police employed 580 full-time sworn officers.