1:51.40. Only his 2019 World Championships WR is better, and even beat Michael Phelps’ “sharksin era” 1:51.51 record in his sharkskin dress.