Notice the areas above. Fisherman's Landing and Campground is not up for private development. 

It's the green rectangle in the "Central Waterfront District."

The "Port Innovation District" is where the Mart Dock proposal belongs then and now.