Barcos de pasajeros y carga fondean en el puerto de Gibraltar.