Even though his tweet breaks their terms of service, Twitter declines to remove Trump's threat to North Korea.