US President Trump meets New York City Mayor-elect Mamdani at the White House