Trevithick, John, active 1698-1755