20 years ago today, the Gulf War ended.