Robinson, John, active 1751-1756, formerly of N America; secret agent