At Least One Democrat, Big-City Mayor Is 'Optimistic' About Trump's Border Policies