Thomas Codrington — British engineer and antiquarian (1829–1918)