I don't think it really matters who he picks. NYC despises trump and won't elect a republican mayor chosen by him.