Sharm el-Sheikh peace summit: Trump repeats Gaza war over, thanks mediators for ‘breakthrough’