Saudi oil giant Aramco hasn’t decided whether to heed Trump on stock market listing