Trump says Gaza war is over, praises Qatar’s role in peace deal