Trump: I think Mamdani will be 'a really great mayor'