NYC to Take Over Brooklyn Marine Terminal to Give Mixed-Use