Desert Storm : the Gulf War and what we learned