 Jefferson Pool had a 16-foot pool and a high diving board. And I know a lot of the guys could have been Olympian champions because they dove so well. It was wonderful seeing these Puerto Rican kids jump on the board and execute their two-and-a-halves or one-and-a-halves with their jackknives.