John William Grover — British civil engineer (1836-1892)