Su rival, el francés Florent Manaudou, ganó el oro batiendo el récord mundial.