Horacio Marín: el CEO que revolucionó el sector petrolero