The election of Zohran Mamdani as mayor has stoked speculation that President Trump might move to send forces into the city.