Vaccination records in Gulf War veterans.