Marathon Petroleum options activity points to hedging by long-term holders