Charles Henderson — British historian and antiquarian