What county was John Marsh born in?