President Trump and North Korean leader Kim Jong-Un met in Singapore a few days ago and reached a “historic agreement” towards denuclearization. It is not a peace treaty, nor is it a comprehensive agreement for North Korea to dismantle its nuclear arsenal. But it is something, with the details left for another day. For these…