The pier for the Tiburon ferry