The Wall Street Journal: Marathon Petroleum to sell its gas stations to owner of 7-Eleven in $21 billion deal