Was President Trump right to leave the North Korean summit without any agreements?