Could Trump Ban Diesel Exports? Here's What Prediction Markets Say