Thank you both. I had tentatively constructed that answer myself, or something like it, but rejected it because it seemed an unlikely name for a place. I've looked it up now, though, thanks to you. Presumably more popular with UK travel agents than US ones.