Oil traders bet $580 million just ahead of Trump's delay in attacks on Iranian energy infrastructure