Joseph Thomas — Cornish civil engineer and entrepreneur, chiefly associated with Looe (1838–1901)