For those who have recently visited Istanbul.  What is the port that cruise ships dock at?  Looks like there is a new cruise port.  And is it easy to walk to the Hagia Sophia, Blue Mosque, Topkapi Palace, etc.  We are looking into booking a private tour and it sounds like it will be a walking tour to see the significant sights and then ride in a van to go to the Asian side of Istanbul.