A ship hauling a million barrels of Saudi crude sailed through the Strait of Hormuz in recent days, one of the first big tankers to leave the Persian Gulf since traffic through the chokepoint all but halted.