Élite swimmers’ hydrodynamic drag.