Hola amigo, ellos implementaran su propia moneda con el nombre petro con unas siglas que la diferencien de esta ya formada, no es posible que tenga el mismo nombre. Si haces trading te recomiendo estar pendiente de su lanzamiento y que casa de cambio la va adoptar para solo obtener ganancias el primer día maximo 2