What did john murray have to do with the revolutionary war?