Hurricane Harvey (now Tropical Storm Harvey, and on his way out) has taken millions of barrels of oil out of the U.S. energy market. Here's how much oil has ceased to be produced because of Harvey, according to S&P Global Platts.