De hecho durante la primera semana de julio se desplegaron tropas españolas en la frontera portuguesa.