Today would be a good day for Trump quietly to sink a few North Korean submarines