War damages health...and the Health Service: health workers and the 1991 Gulf war - Practical History