. . "Olympic diving venue" . . . .