U.S. President Donald Trump might tap the nation’s emergency oil stockpile to stabilize pump prices in the wake of a major shock to global supply. The tool at his disposal is the Strategic Petroleum Reserve, set up in the aftermath of the Arab oil embargo in the 1970s as a backup in case of subsequent supply shocks.