Resolves to "yes" if both North and South Korea acknowledge an official end to the war, for example through signing a treaty, while Trump is president. The deal need not involve Trump in any way.