Yes, it is. Gibraltar is British, so most things are named in English, especially significant things. The local Spanish dialect - Llanito - would also refer to

Yes, it is. Gibraltar is British, so most things are named in English, especially significant things. The local Spanish dialect - Llanito - would also refer to it as Punta de Europa, but that doesn't much change what it's actually called on the map, etc.