You might also know this place by the following names:
Ilhéu da Porto da Cruz, Ilheu da Porto da Cruz