You might also know this place by the following names:
Ponta de Santo António, Ponta de Santo Antonio