The troops are an option should Donald Trump decide to use them to quell anti-ICE protests in the city, an official tells CBS News.