Deaths in October 1972