Prestación de servicio de actividades auxiliares en el cuenco de la esclusa Puerta del Mar del Puerto de Sevilla mediante dotación de embarcación y tripulación especializada al paso de buques por la misma