Gibraltar, including Gibraltar Strait and the African coast from Jeremias Anchorage to