What year did John Williams die?