Portugal’s highest mountain