Thanks, tsuwm. I did wonder if it was a variant of dinghy, but decided, wrongly, that it was probably a variant of dingy instead.