When did the "War of Jenkins' Ear", waged between Britain and Spain, end?