Rock and oak: a new naval history of Gibraltar, 1779-1830