Dems’ refusal to credit Trump for his role in cease-fire deal: Letters to the Editor