Credit where it’s due — Trump is doing a good job with North Korea