No world records have been set at the Olympic pool. Is it too shallow?

The culprit for the slower-than-expected times appears to be a pool that is slightly shallower than the optimal depth.