MAGNOLIA OIL & GAS CORP (TPG Pace Energy Holdings Corp prior to 08/2018)