Despite going similar times, 2016 Ledecky, 2025 Ledecky, and McIntosh all swim the 800 with varying degrees of stroke efficiency.