You might also know this place by the following names:
San Markoko gaina / Cima de San Marko, Cima de San Marko, San Markoko gaina