Hi, thank you for your comment. I agree that this map shows a control point named Santo Domingo there. Still, Wikipedia and Wikidata both have the name Pico Mifés. Do you agree with keeping this as an alternative name so that the peak can also be found under that name?

By the way, from this map and also from my personal impression (I was there in 2009), Pico Mucuñuque should be a bit higher than this peak.