Twenty-five million reasons the U.S. hasn’t struck North Korea