Former ONGC head Shashi Shanker on Adani Total Gas board