William Patrick — Olympic diver (1931-2016)