Du kender måske også dette sted med følgende navne:
San Anton mendia / Cima San Anton, Isla de San Anton, Cima San Anton, San Anton mendia