There’s lots of money in the Pentagon’s 2018 spending proposal to stop missiles of the sort that Pyongyang keeps launching.