President Trump on the ceasefire between Cambodia and Thailand: “It’s peace. That was going to be a very bad war … That could’ve gone on for years. Millions of people could’ve been killed. We ended the war — and we’re very happy about it.”