This one is now just known as The Richmond:

http://www.pubsgalore.co.uk/pubs/22687/