John Devoto active 1708–?1752