Вам может быть известно это место также под этими именами:
San Anton mendia / Cima San Anton, Isla de San Anton, Cima San Anton, San Anton mendia