what battle occurred in  picos de europa
what battle occurred in  Picos de Europa
SELECT DISTINCT ?e WHERE { ?e property:P276 resource:Q1141172 }
SELECT DISTINCT ?e WHERE { ?e property:location resource:Picos_de_Europa }
Battle of Covadonga