Should Trump Forgive DC Reflecting Pool Vandals?