Coma Pedrosa ( , ) ( ) is the highest mountain in the principality of Andorra .
Coma Pedrosa is the highest mountain in Andorra .