“Jolly” John Nash