Portugal’s north-eastern frontier with Spain