John Holmes — English antiquary (1800-1854)