No, you can’t buy Venezuela’s Petro on any overseas exchanges