Trump revels in ‘historic’ deal between Israel and Hamas but offers few details.