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