Su marca de 3:57,90 era la mejor de su vida y suponía un nuevo récord británico.