Trump gets tough with North Korea, with a tweet