Trump to work things out' with Mamdani? US President to meet NYC mayor-elect in Washington soon?