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