You might also know this place by the following names:
San Anton mendia / Cima San Anton, Isla de San Anton, Cima San Anton, San Anton mendia