Military options strengthening Trump's diplomatic hand with North Korea?