Naval office shipping lists for the West Indies (excluding Jamaica), 1678-1825, in the Public Record Office, London