Category:Diving events at the 1972 Summer Olympics