Bahía gaditana, EL PUERTO DE SANTA MARIA