An intervention in Syria will bruise the US stock market, if history is any guide