Trump says Thailand, Cambodia have agreed to resume ceasefire