Gibraltar as seen by eighteenth- and nineteenth-century celebrity writers