Trump on Mamdani: “The better he does, the happier I am.”