Más de 10.000 armas intervenidas en un arsenal en el marco de la operación Portu en 2017