Walter Pompe (1703-1777