Porteous, John, active 1720-1739, Captain of the Edinburgh city-guard