The "Englishman": The rock of Gibraltar