What was his average swimming speed during the second half of the race if he tied the record, which was at an average speed of 2.05 m/s?