Should the US export oil to push down prices and hurt Putin? That’s happening already